1. Proof, logic, and conjecture : the mathematician's toolbox

by Wolf, Robert S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
2. Foundations of logic and mathematics: Applications to computer science and cryptography

by Nievergelt, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
3. Introduction to mathematical logic

by Mendelson, Elliott.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2010Availability: Items available for loan: [Call number: 511.3 MEN] (1).

Powered by Koha